A fast saturation strategy for set
نویسنده
چکیده
In this paper we present a fast tableau saturation strategy which can be used as an optimized decision procedure for some fragments of set theory. Such a strategy is based on the use of a model checking technique which guides the saturation process. As a result, it turns out that the saturation process converges much faster than previous decision algorithms either to a closed tableau or to a model satisfying the input formula. For the sake of simplicity, the strategy is illustrated for the extension MLSS of MLS with the nite enumeration operator ff ; ; ; g.
منابع مشابه
A Fast Strategy to Find Solution for Survivable Multicommodity Network
This paper proposes an immediately efficient method, based on Benders Decomposition (BD), for solving the survivable capacitated network design problem. This problem involves selecting a set of arcs for building a survivable network at a minimum cost and within a satisfied flow. The system is subject to failure and capacity restriction. To solve this problem, the BD was initially proposed with ...
متن کاملDetermination of a new model to study ultra-saturation phenomenon during the loaded power transformer energization and its effect on differential protection
One of transient phenomenon that causes the mal-operation of the power transformer differential protection during the energization of a loaded power transformer is the ultra-saturation phenomenon. In this paper, a new model for investigating the ultra-saturation phenomenon during the energization of a loaded power transformer is presented and its effect on the differential protection of the pow...
متن کاملDetermination of a new model to study ultra-saturation phenomenon during the loaded power transformer energization and its effect on differential protection
One of transient phenomenon that causes the mal-operation of the power transformer differential protection during the energization of a loaded power transformer is the ultra-saturation phenomenon. In this paper, a new model for investigating the ultra-saturation phenomenon during the energization of a loaded power transformer is presented and its effect on the differential protection of the pow...
متن کاملSpeed Control of Permanent Magnet Synchronous Motor by Antiwindup PI Controller and Comparison with Fuzzy Controller
In this paper, the driver with antiwindup and fuzzy high-performance and robust PI controller has been suggested for Permanent Magnet Synchronous Motor (PMSM). This controller is suggested for the design of the robust driver for three phase PMSM and the cost reduction of its control system. It’s useful for the industrial application and automation and ultimately speed control and the improvemen...
متن کاملSpeed Control of Permanent Magnet Synchronous Motor by Antiwindup PI Controller and Comparison with Fuzzy Controller
In this paper, the driver with antiwindup and fuzzy high-performance and robust PI controller has been suggested for Permanent Magnet Synchronous Motor (PMSM). This controller is suggested for the design of the robust driver for three phase PMSM and the cost reduction of its control system. It’s useful for the industrial application and automation and ultimately speed control and the improvemen...
متن کامل